gl: Do not use the extension API for core GL
authorEmmanuele Bassi <ebassi@gnome.org>
Wed, 28 Jan 2015 19:06:37 +0000 (19:06 +0000)
committerEmmanuele Bassi <ebassi@gnome.org>
Mon, 9 Feb 2015 19:10:30 +0000 (19:10 +0000)
commit395125bcfb4a44f5892e55aa5ca768adbe6cebc4
treeb88d76fd955ff31be91daf2d5f9d71f8411056f9
parent4b8b3b431bfba9fa9bc68ebc95af13a32ea8a7ad
gl: Do not use the extension API for core GL

Since we are using a Core GL profile, we need to drop the
extension-based API.

https://bugzilla.gnome.org/show_bug.cgi?id=741946
gdk/gdkgl.c